|
KMID : 0371819990310020157
|
|
Nuclear Engineering and Technology
1999 Volume.31 No. 2 p.157 ~ p.171
|
|
|
Mathematical Verification of a Nuclear Power Plant Protection System Function with Combined CPN and PVS
|
|
Koo, Seo Ryong
Son, Han Seong/Seong, Poong Hyun
|
|
|
Abstract
|
|
|
|
|
|
|
KEYWORD
|
|
|
mathematical verification, CPN, PVS, formal method
|
|
|
FullTexts / Linksout information
|
|
|
|
|
|
Listed journal information
|
|
|
|